In this paper we prove that the equational class generated by bounded BCK-algebras is the variety generated by the class of finite simple bounded BCK-algebras. To obtain these results we prove that every simple algebra in the equational class generated by bounded BCK-algebras is also a relatively simple bounded BCK-algebra. Moreover, we show that every simple bounded BCK-algebra can be embedded into a simple integral commutative bounded residuated lattice. We extend our main results to some richer subreducts of the class (...) of integral commutative bounded residuated lattices and to the involutive case. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

We consider the potential impact of Computer Supported Cooperative Work, with special reference to large technically advanced projects involving several organizations. It is vital that such projects are managed efficiently, without delays, since a product that reaches the market a few months earlier than its competitors enjoys a great advantage. Traditional methods of coordinating large projects, based on hierarchical communication, tend to produce delays, since technicians at remote sites are obliged to solve coordination problems by passing them up the hierachy. (...) It would be better if such problems were solved by improvising conferences among the technicians; Computer Supported Cooperative Work will provide the technical means of implementing this heterarchical style of management without losing control of the project. The use of computers as a social medium raises methodological and ethical issues which are discussed in the final section. (shrink)

In Not God Enough, J.D. Greear explains that the thing between you and the vibrant faith you want isn't answers to all our spiritual questions, but an escape from the small God we've imagined in place of an actual encounter with the real, awesome, glorious God of the Bible.

(2002). Philosophy of Science 72 (January), 198-208.